# -*- mode: snippet -*-
# name: reflexivity
# key: refl
# uuid: refl
# --
reflexivity $1
